--- Code for 'https://github.com/Frege/frege/issues/313 Issue 313'
module tests.comp.Issue313 where

data Empty

main = println "Yes, we can make a nullary data type."